Mephisto I Towards a Formal Theory
نویسندگان
چکیده
Mephisto is a framework that will enable ontologybased high-level information fusion. Within the framework, the name Mephisto can be used to refer to a conceptualisation, an ontology, an agent, a society, a formal theory, and an implementation. A Mephisto conceptualisation assumes that the world can be understood in terms of processes. A Mephisto ontology is a specification of the conceptualisation. A Mephisto agent employs the ontology. A Mephisto theory is a formal theory of processes. A Mephisto implementation implements the theory. A Mephisto theory plays a crucial role within the framework.
منابع مشابه
Neither Goethe nor Bismarck: on the Link between Theory and Empirics in Council Decision-Making Studies
In a spirited attack, Dorothée Heisenberg takes issue with the emerging field of quantitatively-oriented European Union studies in general and the formal modelling tradition in the exploration of Council of Minister decisionmaking in particular. Drawing on her important article on the ‘culture of consensus’ (Heisenberg 2005), she argues in Chapter 14 above that rationalist scholarship is incapa...
متن کاملHealthcare and Compassion: Towards an Awareness of Intersubjective Vulnerability; Comment on “Why and How Is Compassion Necessary to Provide Good Quality Healthcare?”
How to instill compassion in a healthcare organization? In this article, I respond to Marianna Fotaki’s proposals in her piece, ‘Why and how is compassion necessary to provide good quality healthcare?’ by drawing on insights from organization studies. Following Fotaki, I argue that to instill targets and formal measures for assessing compassion would be problematic. I conclude by drawing on psy...
متن کاملA Proposal to Prevent the "Mephisto Sign" Side Effect of Botulinum Toxin Type A Injection in Chronic Migraine
Botulinum toxin type A (BoNT-A) has been reported as an effective treatment for chronic migraine. When BoNT-A is injected on the frontalis muscle for chronic migraine, an unexpected clinical side effect called the "Mephisto sign" may occur. The aim of this article is to propose a method to eliminate or prevent the Mephisto sign side effect. A 25-year-old female patient visited the hospital and ...
متن کاملIntrinsic Value: Towards A Pragmatic Theory
Intrinsic value is a concept central to the environmentalist movement. Whether one believes that natural objects have intrinsic value is supposed to determine whether one takes a ecocentric or homocentric approach to environmentalism, whether we practice deep or (merely) shallow ecology. Yet this concept is also a center of controversy and confusion. Just what does it mean for something to ha...
متن کاملEmbedding Hardware Veri cation within a Commercial Design Framework
A methodology for verifying complex circuits is presented, based on a strong coupling of design veriication with the hierarchical design process. This goal has been achieved by integrating MEPHISTO, a tool for semi-automated hardware veriication, into a commercial design framework. MEPHISTO decomposes the veriication goal by a set of hardware-speciic proof tactics and provides strategies for sy...
متن کامل